#include <stdio.h>

int main(int argc, char const *argv[])
{
    long int f, s;
    int i, j, n;
    s = 0;
    scanf("%d", &n);
    for (i = 1; i <= n; i += 2)
    {
        for (f = 1, j = 1; j <= i; f *= j++);
        s += f;
        printf("%d!=%ld\n", i, f);
    }
    printf("n=%d,s=%ld\n", n, s);
    return 0;
}
